#include <iostream>
int main(){
	printf("%d",12);
}